 |
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 08 |
A Formal Framework For Astral Intralevel Proof Obligations
(Article)
Subject:
Formal Methods
,
Formal Specification
,
Timing Requiements
Author:
Alberto
Coen-Porisini
Richard A.
Kemmerer
Dino
Mandrioli
page:
548
-
561
Making Changes To Formal Specifications Requirements And An Example
(Article)
Subject:
Change Control
,
Formal Specification
,
Process Algebra
Author:
David W.
Bustard
Adam C.
Winstanley
page:
562
-
568
Inconsistency Handling In Multiperspective Specifications
(Article)
Subject:
Inconsistency Handling
,
Multiple Perspectives
,
Temporal Logic
Author:
Anthony C. W.
Finkelstein
Dov
Gabbay
Bashar
Nuseibeh
page:
569
-
578
Tractable Dataflow Analysis For Distributed Systems
(Article)
Subject:
Distributed Systems
,
Dataflow Analysis
,
Static Analysis
Author:
Shing Chi
Cheung
Jeff
Kramer
page:
576
-
593
Distributed Information Systems An Advanced Methodology
(Article)
Subject:
Distributed Information Systems
,
Requirements Analysis
,
Requirements Edngineering Method
Author:
Alfred
Aue
Michael
Breu
page:
594
-
605
Csdl A Language For Cooperative Sstems Design
(Article)
Subject:
Cscw
,
Conferencing Systems
,
Design Language
Author:
Flavio De
Paoli
Francesco
Tisato
page:
606
-
616
An Empirical Study Of Representation Methods For Reusable Software Components
(Article)
Subject:
Software Reuse
,
Experimentation
,
Database
Author:
W. B.
Frakes
Thomas P.
Pole
page:
617
-
630
|
|
| | |
